indexed grammar

[计] 附标文法, 加索引文法, 加下标文法